Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
151	Rigorous development of reusable, domain-specific components, for complex applications* I. Johnson1, C. Snook2, A Edmunds2 & M. Butler2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-08 12:29:31 Unified Modeling Language Infographics Diagrams Models of computation Formal methods State diagram Object Process Methodology Stereotype Class diagram Refinement Object-oriented design Action
152	Mathematics in science The language of mathematics in science Richard Boohan ABSTRACT ‘The Language of Mathematics in Science’ is an ASE/Nuffield project aimed at Add to Reading List Source URL: www.ase.org.uk Language: English - Date: 2016-02-26 06:14:59 Formal sciences Graph Graph theory Line graph Plot Logarithm Mathematics Pathwidth Signed graph
153	HINO: a BFO-aligned ontology representing human molecular interactions and pathways Yongqun He, Zoushuang Xiang Department of Microbiology and Immunology, Unit for Laboratory Animal Medicine, and Center for Computationa Add to Reading List Source URL: arxiv.org Language: English* - Date: 2013-11-14 20:02:45 Ontology Semantic Web Biological databases Information science Bioinformatics BioPAX Reactome OBO Foundry Formal ontology Gene ontology Biological pathway Web Ontology Language
154	Generating Subjective Responses to Opinionated Articles in Social Media: An Agenda-Driven Architecture and a Turing-Like Test Tomer Cagan School of Computer Science The Interdisciplinary Center Herzeliya, Israel Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2014-05-26 04:14:00 Humancomputer interaction Natural language processing Formal sciences Affective computing Sentiment analysis Computational linguistics Framing CONFER Emotion Persuasive technology Social media Computer science
155	Vol. 6, NoISSNonline Add to Reading List Source URL: www.todos-math.org Language: English - Date: 2015-08-16 11:44:01 Philosophy of mathematics Theoretical computer science Mathematics English-language learner Language of mathematics Semiotics Formal language
156	Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering Add to Reading List Source URL: www.utc.ices.cmu.edu Language: English - Date: 2014-10-10 12:15:04 Unified Modeling Language Model-driven architecture Object Management Group Modeling language KeY Hybrid system Model checking Metamodeling Systems Modeling Language Object Process Methodology Formal verification Hybrid automaton
157	RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-07-13 14:33:31 Boolean algebra Formal methods Theoretical computer science Implicant Disjunctive normal form IP Lambda calculus Vector space Boolean satisfiability problem Bayesian network
158	Cognitive Process Designer - An Open-Source Tool to Capture Processes according to the Linked Data Principles Demo Paper Tobias Weller and Maria Maleshkova Institute for Applied Informatics and Formal Description Methods Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-07-08 19:51:50 Workflow technology Business process modelling Diagrams Knowledge engineering ISO standards Business Process Model and Notation Business process management Modeling language Ontology Semantic Web Semantic MediaWiki Comparison of Business Process Modeling Notation tools
159	Introduction Dependency Grammar Dependency Parsing Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-16 18:57:30 Natural language parsing Syntax Formal languages Parsing Compiler construction Deterministic parsing Treebank Dependency grammar Chart parser Discontinuity Link grammar Phrase structure grammar
160	Adverse Events Following Immunization Reporting standardization, automatic case classification and signal detection Mélanie Courtot1, Ryan R. Brinkman1,2, Alan Ruttenberg3 1 BC Cancer Agency, Vancouver, BC, Canada, 2 D Add to Reading List Source URL: www.kr-med.org Language: English - Date: 2012-06-26 11:03:07 Ontology Information science Knowledge representation Semantic Web OBO Foundry Formal ontology Web Ontology Language MedDRA

UPDATE